1,867 research outputs found

    Herausforderungen in der Ingenieurbiologie - vom Ingenieurbauwesen zum Ingenieurbau- und planungswissen

    Get PDF
    Análise dos desafios actuais e futuros da Engenharia Natural em termos do aprofundamento dos domínios técnicos e científicos desta especialidade. Considerações sobre a evolução dos conceitos ecológicos e de planeamento e sua implicação nos domínios de actuação da Engenharia Natural

    Sustentabilidade - a dimensão da liberdade e das responsabilidade

    Get PDF
    É feito um balanço do processo de ordenamento do território em Portugal à luz do conceito de sustentabilidade com particular enfoque no território urban

    Tools and libraries to model and manipulate circular programs

    Get PDF
    This paper presents techniques to model circular lazy programs in a strict, purely functional setting. Circular lazy programs model any algorithm based on multiple traversals over a recursive data structure as a single traversal function. Such elegant and concise circular programs are defined in a (strict or lazy) functional language and they are transformed into efficient strict and deforested, multiple traversal programs by using attribute grammars-based techniques. Moreover, we use standard slicing techniques to slice such circular lazy programs. We have expressed these transformations as an Haskell library and two tools have been constructed: the HaCirctool that refactors Haskell lazy circular programs into strict ones, and the OCirctool that extends Ocaml with circular definitions allowing programmers to write circular programs in Ocaml notation, which are transformed into strict Ocaml programs before they are executed. The first benchmarks of the different implementations are presented and show that for algorithms relying on a large number of traversals the resulting strict, deforested programs are more efficient than the lazy ones, both in terms of runtime and memory consumption.(undefined

    CrossFit: an individual work performance booster?

    Get PDF
    Dissertação de mestrado integrado em PsicologiaObjetivo: Compreender a relação de grit com a prática de diferentes tipos de exercício físico, em especial CrossFit, e a não prática de exercício físico, assim como a sua relação com a performance individual no trabalho. Amostra: 427 trabalhadores, dos quais 38.6% praticavam CrossFit, 34.1% praticavam outro tipo de exercício físico e 27.3% não praticavam exercício físico. Método: Foram aplicados dois instrumentos, a Short Grit Scale e o Individual Work Performance Questionnaire que foram traduzidos e validados para a população portuguesa. Os resultados médios foram depois comparados entre grupos através de analises ANOVA. Resultados: Verificou-se uma diferença significativa de grit entre os diferentes tipos de exercício físico, com o CrossFit a mostrar os níveis de grit mais elevados, seguidos dos outros tipos de exercício físico, excluindo CrossFit, e em último os não praticantes de exercício físico. Quanto à performance individual no trabalho, encontraram-se diferenças significativas entre quase todas as subescalas da performance individual no trabalho, com os praticantes de CrossFit a mostrar os maiores níveis, seguidos dos praticantes de outros tipos de exercício físico, excluindo CrossFit, e por fim os não praticantes de exercício físico. Conclusões: Os resultados indicam haver um efeito significativo do exercício físico em geral nos níveis de grit assim como na performance individual no trabalho. Além disso, os praticantes de Crossfit demonstraram os maiores níveis de grit, assim como de performance individual no trabalho, comparativamente aos restantes grupos.Objective: Understand the relationship between grit and the practice of different types of physical exercise, especially CrossFit, and the non-practice of physical exercise, as well as its relationship with individual work performance. Sample: 427 workers, of whom 38.6% practiced CrossFit, 34.1% practiced another type of physical exercise and 27.3% didn’t practice any physical exercise. Method: Two instruments were applied, the Short Grit Scale and the Individual Work Performance Questionnaire, which were translated and validated for the Portuguese population. The mean results were then compared between groups through ANOVA analyses. Results: There was a significant difference in grit levels between the different types of physical exercise, with CrossFit showing the highest grit levels, followed by other types of physical exercise, excluding CrossFit, and lastly, non-exercisers. For individual work performance, significant differences were found between almost all subscales of individual performance at work, with CrossFit practitioners showing the highest levels, followed by practitioners of other types of physical exercise, excluding CrossFit, and finally non-practitioners of physical exercise. Conclusions: The results indicated a significant effect of both physical exercise in grit as well as individual work performance. In addition, Crossfit practitioners demonstrated the highest levels of grit, as well as individual work performance, compared to the other groups

    Didactic speech synthesizer – acoustic module, formants model

    Get PDF
    Text-to-speech synthesis is lhe main subjecl treated in this work. II will be presented the conslilution of a generic lext-to-speech system conversion, explained lhe functions 01 the various modules and described lhe developmenl lechniques using lhe formants model. The development of a didactic forman! synthesiser under Matlab environmenl will also be described. This didactic synthesiser is inlended for a didactic understanding of lhe formant modelaI speech producllon

    Didactic speech synthesizer – acoustic module, formants model

    Get PDF
    Text-to-speech synthesis is lhe main subjecl treated in this work. II will be presented the conslilution of a generic lext-to-speech system conversion, explained lhe functions 01 the various modules and described lhe developmenl lechniques using lhe formants model. The development of a didactic forman! synthesiser under Matlab environmenl will also be described. This didactic synthesiser is inlended for a didactic understanding of lhe formant modelaI speech producllon

    Análise da continuidade estrutural da paisagem - a região dos distritos de Setúbal e de Évora

    Get PDF
    Recorrendo a modelos de similaridade estrutural e funcional caracteriza-se a continuidade estrutural da área de estudo. Com base na análise da similaridade entre usos e formações vegetais de acordo com elementos específicos de habitat, elaboraram-se matrizes de semelhança ecológica e as correspondentes cartas de continuidade estrutural. A metodologia foi aplicada a três objectos de caracterização estrutural: a carta de unidades ecológicas de referência, a Carta Agrícola e Florestal de Portugal de Folque e a Carta de Ocupação do Solo. Os resultados obtidos permitem identificar a naturalidade da continuidade estrutural num determinado momento/quadro de uso, referenciar a localização de soluções de continuidade críticas (por comparação com os padrões estruturais de continuidade estáveis determinados pela organização estrutural dos recursos estáveis da paisagem), assim como simular o efeito de corredores ecológicos e de estruturas pontuais na movimentação de espécies em quadros de continuidade comprometida

    Conservation strategies for island - the "Park Island" of Pico (Azores)

    Get PDF
    É apresentado o conceito de Parque ilha e desenvolvido uma metodologia de caracterização e avaliação dos sistemas ecológicos em contexto insula

    Caracterização e avaliação da estrutura da paisagem: Análise da sua evolução no séc. XX

    Get PDF
    Recorrendo ao modelo de caracterização ILA (Integrated Landscape Analisys) caracteriza-se a estrutura do território dos distritos de Setúbal e Évora. De modo a analisar o potencial do modelo de caracterização e ilustrar a sua aplicabilidade a diferentes momentos temporais e padrões de ocupação do solo, o estudo foi realizado relativamente a dois momentos históricos bastante distintos: a Carta Agrícola e Florestal de Portugal de Pedro Romano Folque de 1910 e a Carta de Ocupação do Solo COS 90. Foi possível, desta forma não só determinar os grandes padrões de mudança estrutural, assim como avaliar o desvio desses padrões relativamente à estrutura estável da paisagem

    Ensino de empreendedorismo no domínio do software: 6 anos de história na UMinho

    Get PDF
    Há atualmente uma aposta no fomento do empreendedorismo no seio das universidades através de paradigmas de ensino eficazes. Estes, por sua vez, necessitam de estar em permanente adaptação e evolução. Neste artigo, apresenta-se e discute-se o ensino do empreendedorismo no domínio do software através de um estudo de caso. No âmbito do Mestrado em Engenharia Informática da Universidade do Minho, é oferecida desde 2009/10 uma unidade curricular (UC) de 15 ECTS, designada de Projeto em Engenharia Informática (PEI). Esta UC procura instigar nos estudantes que a frequentam o reconhecimento da necessidade de conciliarem a visão mais técnica com uma visão mais ligada a aspetos de negócio, comerciais e empresariais, que a maioria nunca abordou em contexto educativo. Uma série de entrevistas semi-estruturadas permitiu obter evidências relevantes sobre o processo de ensino-aprendizagem subjacente a esta UC e sobre a evolução que esta sofreu ao longo de um período de seis anos. Por outro lado, foi consultado material produzido pelos responsáveis da UC com o objetivo de orientar os estudantes na UC. Deste modo, apresenta-se e discute-se evidências sobre o processo de capacitação para o empreendedorismo de estudantes no âmbito específico de projetos de ensino no domínio do software, salientando as suas particularidades e os seus desafios
    corecore